902 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 15, NO. 8, AUGUST 1996 Solving the Net Matching Pro erforrnance Chip Desi

Source URL: cseweb.ucsd.edu

44 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 19, NO. 1, JANUARY 2000 Sibling-Substitution-Based BDD Minimization Using Don’t Cares

Source URL: www.kenmcmil.com

1702 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 18, NO. 12, DECEMBER 1999 Power Optimization of Variable-Voltage Core-Based Systems

Source URL: www.cs.berkeley.edu

• CPU cache
• Cache
• Central processing unit
• Computer memory
• Multi-core processor
• Intel Core
• Parallel computing
• Power supply
• Scheduling
• Electronic engineering
• Computing
• Electronics

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for

Source URL: www.eecs.berkeley.edu

• Computer programming
• Logic in computer science
• Model checkers
• Model checking
• Formal verification
• BLAST model checker
• Abstract interpretation
• Static program analysis
• Abstraction
• Computing
• Software engineering
• Formal methods

Microsoft Word - MRL2009vitae.docx

Source URL: ecee.colorado.edu

• Professional associations
• Engineering
• Institute of Electrical and Electronics Engineers
• IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
• IEEE Circuits and Systems Society
• Technology
• Wai-Chi Fang
• IEEE Smart Grid
• International nongovernmental organizations
• Electronic engineering
• Standards organizations

Microsoft Word - 2_28_Subhasish_Mitra_ABSTRACT_BIO.docx

Source URL: inc11.org

• Engineering
• Electronics
• Design Automation Conference
• Institute of Electrical and Electronics Engineers
• Very-large-scale integration
• Special Interest Group on Design Automation
• IEEE Council on Electronic Design Automation
• IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
• Carbon nanotube
• Electronic engineering
• International nongovernmental organizations
• Professional associations

From the Editor Guanrong (Ron) Chen Editor-in-Chief, IEEE Circuits and Systems Magazine D

Source URL: www.ee.cityu.edu.hk

• Electromagnetism
• IEEE Circuits and Systems Society
• Institute of Electrical and Electronics Engineers
• Electrical engineering
• Electronics
• IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
• International nongovernmental organizations
• Electronic engineering
• Engineering

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 25, NO. 2, FEBRUARY[removed]Modeling and Controlling Parallel Tasks in Droplet-Based Microfluidic Systems

Source URL: www.ee.washington.edu

• Materials science
• Applied mathematics
• Nanotechnology
• Digital microfluidics
• Search algorithms
• Electrowetting
• Shortest path problem
• Algorithm
• A* search algorithm
• Microfluidics
• Biotechnology
• Mathematics

Matthias Althoff Phone: +[removed]E-mail: [removed] Web: www6.in.tum.de/Main/Althoff born[removed]in Freising, Germany.

Source URL: www6.in.tum.de

• Technology
• Institute of Electrical and Electronics Engineers
• IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
• Engineering

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 25, NO. 5, MAY[removed]Using Simulation and Satisfiability to Compute Flexibilities in Boolean Networks

Source URL: www.bvsrc.org

• Mathematical logic
• Algebraic logic
• Logic
• Diagrams
• Formal methods
• Binary decision diagram
• Canonical form
• Circuit
• Boolean satisfiability problem
• Theoretical computer science
• Boolean algebra
• Mathematics